static type checking

static type checking
статическая проверка типов
Проверка типов, производимая во время компиляции программы, не во время ее исполнения.

English-Russian glossary of C + +. 2014.

Игры ⚽ Нужна курсовая?

Смотреть что такое "static type checking" в других словарях:

  • Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing …   Wikipedia

  • Static — has several meanings:* Static electricity, a net charge of an object ** The triboelectric effect, e.g. from shoes rubbing carpet * White noise, a random signal with a flat power spectral density ** Noise (radio), a type of radio interference **… …   Wikipedia

  • Type safety — In computer science, type safety is a property of some programming languages that is defined differently by different communities, but most definitions involve the use of a type system to prevent certain erroneous or undesirable program behavior… …   Wikipedia

  • static typing — noun A system in which type checking is performed during compilation and not at run time, opposed to dynamic typing …   Wiktionary

  • Static testing — is a form of software testing where the software isn t actually used. This is in contrast to dynamic testing. It is generally not detailed testing, but checks mainly for the sanity of the code, algorithm, or document. It is primarily syntax… …   Wikipedia

  • Dependent type — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing …   Wikipedia

  • Nominative type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing …   Wikipedia

  • Anonymous type — Anonymous types are a feature of the C# 3.0, Visual Basic .NET 9.0, and Chrome 2.0 programming language that allows data types with named fields to be created implicitly from the code that requires it. This is an important feature for the SQL… …   Wikipedia

  • List of tools for static code analysis — This is a list of significant tools for static code analysis.Historical products* Lint the original static code analyzer of C code.Open source or Noncommercial products .NET (C#, VB.NET and all .NET compatible languages) *… …   Wikipedia

  • Bounds-checking elimination — In computer science, bounds checking elimination is a compiler optimization useful in programming languages or runtimes that enforce bounds checking, the practice of consistently checking every index into an array to verify that the index is… …   Wikipedia

  • Programming language — lists Alphabetical Categorical Chronological Generational A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that… …   Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»